it is a matter of record that ... - Deutsch Englisch Wörterbuch